timed Petri net
英 [taɪmd ˈpetri net]
美 [taɪmd ˈpetri net]
网络 时间Petri网
双语例句
- Extended Fuzzy Timed Petri Net Definitions and Properties
扩展模糊时间Petri网的定义和性质 - Modeling of Work-In-Process Buffer for Group Production Unit Based on Timed Petri Net
基于赋时Petri网的成组生产单元缓冲区建模 - Modeling technology for semiconductor wafer fabrication system based on Agent-oriented knowledge colored timed Petri net
基于多代理的知识有色赋时Petri网的晶圆制造系统建模方法 - Research on modeling and scheduling of stacker via colored timed petri net
基于着色赋时Petri网的堆垛机建模与调度研究 - A Method of Modeling Workflow Based on Timed Petri Net in Which Places Contains a Time Factor
一种基于库所含时间因素的时延Petri网的工作流建模方法 - Research on Parallel Test of Combining Timed Petri Net with Genetic-Ant Colony Algorithm
时间Petri网与遗传&蚁群算法相结合的并行测试研究 - Research on the Use of Colored Timed Petri Net and Stochastic Petri Net
有色时间Petri网与随机Petri网应用研究 - On the basis of the maintenance process description, a Petri net model is built using colored timed Petri net.
描述了典型的维修过程，应用赋时着色Petri网建立了维修过程的petri网模型。 - The security workflow model with the colored and timed Petri net is described, and the dynamic authorizing mechanism with read/ write security strategy is analyzed.
应用有色时间Petri网对安全工作流模型进行了描述，并结合读/写安全策略对动态授权机制进行了应用分析。 - A Timed Petri Net Model and Optimal Control of Chemical Batch Process
化工间歇过程的时间Petri网模型和优化控制 - A Time Performance Evaluation Method for Workflow Based on Extended Timed Petri Net
一种基于扩展时间Petri网的工作流时间性能评价方法 - Research on translation method from system level description language System C to timed Petri net
系统级描述语言SYSTEMC到时间Petri网的转换技术 - To improve the capability of managing data conflict and implementing project dynamic management, a data management model for aerial project based on timed Petri net was put forward.
为了提高项目对数据冲突和动态综合管理的能力，提出了一种基于时间Petri网的航空项目数据管理模型。 - This Paper analyses the cryptographic protocol models and introduces a kind of analysis tool called timed Petri net, which is served as the formal specification tool of SET ( secure electronic transaction) protocol.
对密码协议模型进行了分析，引入时延Petri网分析工具，建立了一种新的安全电子交易协议的形式描述工具。 - Data management model for aerial project based on timed Petri net
一种基于时间Petri网的航空项目数据管理模型 - A way to modeling a multi-function pipe line with timed Petri net is presented in this paper.
在单功能流水线的Petri网模型[1]基础上，给出了一种基于时延Petri网的多功能流水线建模方法。 - A Workflow Model Based on Timed Petri Net
一种基于时间Petri网的工作流模型 - Based on the theories of Petri nets and object oriented technology, this paper imports factors of time and sets up model of Object Oriented Timed Petri Net.
论文基于Petri网理论，运用面向对象技术，并引入时间因素，建立了面向对象的赋时Petri模型（ObjectOrientedTimedPetriNet，简称OOTPN）。 - A Maintenance Process Model Based on Colored Timed Petri Net
基于赋时有色petri网的维修过程模型 - This paper presents the abstraction of double transitions timed Petri Net.
该文对双层变迁定时PETRINET进行了抽象化。 - Different extended colored timed Petri net models for different scheduling levels were constructed. A Petri net model for whole system was got by sharing synthesis of Petri nets.
为不同层次的调度者构造了不同的扩展有色时延Petri网模型，并利用Petri网的共享合成技术得到整个系统的Petri网模型。 - Workflow Model with Colored Timed Petri Net and Its Performance Analysis
基于着色时间Petri网的工作流模型及其性能分析 - A Resource/ Task net ( R/ T-net) based on the timed Petri net and the modeling process by using R/ T-net for workflow is proposed.
在时间Petri网的基础上提出了一种称作资源/任务网（R/T-net）的工作流概念模型，并给出了基于R/T-net的工作流建模过程。 - A Personnel Archives Management System and Its Workflow Model Based on Timed Petri Net
人事档案管理系统及其时间Petri网工作流模型 - In the model, the traditional Petri net was extended to colored Petri net and timed Petri net in order to show complex cooperation process among partner enterprises.
在该模型中，为了表示伙伴企业间复杂的协作过程，在传统Petri网的基础上扩展了着色Petri网和赋时Petri网； - A timed Petri net approach to determining the conditions for stability of a reentrant line system with buffer priority scheduling policy is described in this paper.
描述了一种时间Petri网模型和方法，它能对具有缓冲优先调度可重入生产线系统进行稳定性分析。 - This paper associates Petri Net theory with musical theory, and proposes an integrity modeling of musical system based on cyber net system and timed Petri net system.
把Petri网理论和音乐理论结合起来，提出了一个较完整的用自控网系统和时间Petri网建立的乐音体系模型。 - This paper obtains a new fuzzy data fusion method by combining fuzzy logic with fusion technique, then models the data fusion system by timed Petri net and gives a formula for calculating reaction time of data fusion system.
将模糊逻辑与融合技术相结合得到了一种模糊信息融合方法，然后用时延Petri网对此信息融合系统建模，并给出了信息融合系统反应时间的一个计算公式。 - Uses the controlled timed Petri net to set up a model of resource scheduling in distributed system, and uses the simulation of Petri net to carry on emulation.
利用了受控赋时PETRINET建立了分布式系统中的资源调度的模型，并应用仿真器进行了仿真。 - In this paper, colored timed Petri net modeling theory for a structured, more complex production process modeling.
本文在面向对象的Petri网建模理论基础上，针对一个结构完整、较为复杂的生产过程进行建模。